61. Algebraic Foundations of Systems Specification
پدیدآورنده : edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
62. Algebraic Methodology and Software Technology :
پدیدآورنده : edited by Charles Rattray, Savitri Maharaj, Carron Shankland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
63. Algebraic and Algorithmic Aspects of Differential and Integral Operators :
پدیدآورنده : edited by Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
L63
E358
2014
64. Algebraic and Logic Programming :
پدیدآورنده : edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
65. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
66. Algebraic logic
پدیدآورنده : edited by C.H.Bergaman.R.D.Maddux
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990
67. Algebraic logic
پدیدآورنده : edited by C.H.Bergaman.R.D.Maddux
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990
68. An introduction to logic programming through Prolog /
پدیدآورنده : Michael Spivey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
69. Applied logic for computer scientists.
پدیدآورنده : \ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a01,a03,a01,a03
رده :
E-B00k
,
70. Applied logic for computer scientists : computational deduction and formal proofs
پدیدآورنده : Ayala-Rincon, Mauricio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Computer science -- Mathematics
رده :
QA
76
.
9
.
L63A92
71. Architecture and CAD for deep-submicron FPGAs
پدیدآورنده : Betz, Vaughn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design ، Field programmable gate arrays,، Programmable array logic
رده :
TK
7895
.
G36B48
72. Architecture and CAD for deep-submicron FPGAs
پدیدآورنده : Betz, Vaughn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Computer-aided design ، Field programmable gate arrays,، Programmable array logic
رده :
TK
7895
.
G36
B48
73. Architecture of computing systems -- ARCS 2018 :
پدیدآورنده : Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer architecture & logic design.,Computer architecture.,Computer networking & communications.,Computers-- Data Transmission Systems-- Electronic Data Interchange.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Network hardware.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
A72
2018eb
74. Arguing to Learn :
پدیدآورنده : edited by Jerry Andriessen, Michael Baker, Dan Suthers.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Education.,Logic.
رده :
LB1028
.
5
E358
2003
75. Argumentation Machines :
پدیدآورنده : edited by Chris Reed, Timothy J. Norman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
76. Argumentation in multi-agent systems
پدیدآورنده : Peter McBurney, Simon Parsons, Iyad Rahwan (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
A74
2011eb
77. Argumentation in multi-agent systems :
پدیدآورنده : Peter McBurney ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Intelligent agents (Computer software), Congresses.,Logic, Congresses.
78. Argumentation in multi-agent systems
پدیدآورنده : / Peter McBurney ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intelligent agents (Computer software), Congresses,Logic, Congresses
رده :
QA76
.
76
.
I58A73
2009
79. Argumentation in multi-agent systems :
پدیدآورنده : Peter McBurney, Iyad Rahwan, Simon Parsons (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Intelligent agents (Computer software), Congresses,Logic, Congresses
رده :
QA76
.
76
.
I58
A73
2010eb
80. Argumentation in multi-agent systems : Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised selected and invited papers
پدیدآورنده : Simon Parsons...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Logic
رده :
QA
76
.
L28
Vol
.
4049
